package com.Clause.Biais;

import java.util.HashSet;
import com.Clause.Clause;
import com.Clause.ClauseElement;
import com.Clause.OperateurBinaire;
import com.Clause.Variable;

public class NombreDeVariablesExistentielles {
	
	public static boolean check = false;
	public static int valeur = 0;

	public static boolean accept(Clause clause, int nombre){
		if(clause.getRoot().getElement().getClass().equals(OperateurBinaire.class)){
			OperateurBinaire opbin = (OperateurBinaire)clause.getRoot().getElement();
			HashSet<ClauseElement> variablesAvant = Biais.get(opbin.getPrecedent(),Variable.class.toString());
			HashSet<ClauseElement> variablesApres = Biais.get(opbin.getSuivant(),Variable.class.toString());
			
			return (variablesAvant.size()-variablesApres.size()) == nombre;
			
		}
		else
			return false;
	}

}
